1. NASA Formal Methods :
پدیدآورنده : edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
F67
E358
2013
